$\forall$$A$, $B$:Type. strong{-}subtype($A$;$B$) $\Rightarrow$ EqDecider($B$) $\subseteq\rho$ EqDecider($A$)